منابع مشابه
Swap logic
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree ...
متن کاملSwap Bribery
In voting theory, bribery is a form of manipulative behavior in which an external actor (the briber) offers to pay the voters to change their votes in order to get her preferred candidate elected. We investigate a model of bribery where the price of each vote depends on the amount of change that the voter is asked to implement. Specifically, in our model the briber can change a voter’s preferen...
متن کاملPhysical Node 1 VAS Memory Swap Persistent Swap Persistent
In large persistent object systems it is possible to have many million (or eventually billion or more) objects in existence. These objects must be managed to enable their eeective and convenient use. At the heart of this management problem is the structure which maintains information about the objects and provides services on the objects using the information it maintains. We refer to this stru...
متن کاملHot Swap Power Management
This topic introduces the concept of Hot Swapping DC power buses and why hotswapping has become a mainstream requirement, particularly in the telecommunications industry. Several methods of implementing hot swap will be provided along with the pros and cons of each method. Finally, a hot swap design utilizing a Hot Swap Power Manager will be presented for a typical -48V telecom
متن کاملLambda's Switch: Lessons from a Module Swap
A recent experiment has replaced Cro, a crucial component of lambda's genetic switch, with the lac repressor (plus two lac operators). The resulting hybrid phage is viable, but a subtle phenotypic defect explains a puzzle concerning the workings of the switch.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Chemical Biology
سال: 2015
ISSN: 1552-4450,1552-4469
DOI: 10.1038/nchembio.1761